-- Bestimmt den Wochentag des 1. Januars eines Jahres jan1 :: Year -> Dayname jan1 y = (365 * x + x div 4 - x div 100 + x div 400 + 1) mod 7 where x = y - 1