Het is niet alle dagen feest: over 1 Mei, de geschiedschrijving en het collectieve geheugen