Ist Heiligabend ein Feiertag öffentlicher Dienst?