1 мая в Германии - праздник?

Несколько лет назад застала в Германии 1 мая "настоящий праздник": с демонстрациями, оцеплениямим, полицией на броневках.
Вопрос в следующем - это было случайно? или традиционно? А может, 1 мая в Германии вообще выходной?
1 мая в Германии вообще выходной!
Спасибо, Дмитрий.
А я - дубина. Ведь на этом же сайте, в "полезной информации о Германии":
"Выходные: 1 января, Пасха с субботы до понедельника, 1 и 25 мая, первый понедельник июня, 1и 22 ноября, 25 и 26 декабря."