vgl. auch Lohnabrechnungen Januar 2011 bis Juni 2011, Vorakten S. 18 ff.). Bei einer durchschnittlichen Wochenarbeitszeit im Jahr 2011 von 41,7 Stunden (Bundesamt für Statistik, Betriebsübliche Arbeitszeit nach Wirtschaftsabteilungen, Total, Jahr 2011) ergäbe dies ein Arbeitspensum von 12 Prozent.