Wie viele Arbeitstage hatte 2018 Bayern?