11. November: Feiertag und Martinstag