Derfor er den 3. oktober en helligdag i Tyskland