Bør 1.mai-feiringen gravlegges?