In what year did World War II end?