In which year did World War II end?