World War II ends.