Humor is not a mood but a way of looking at the world. So if it is correct to say that humor was stamped out in Nazi Germany that does not mean that people were not in good spirits or anything of that sort but something much deeper and more important.
Education is not to reform students or amuse them or to make them expert technicians. It is to unsettle their minds widen their horizons inflame their intellects teach them to think straight if possible.