The Long-Run Educational Cost of World War II