Wie lange darf die Kernarbeitszeit sein?