What year did World War II end?