100 Jahre Erster Mai - Beiträge und Projekte zur Geschichte der Maifeiern in Deutschland