Kann im Arbeitsvertrag eine andere Arbeitszeit vereinbart werden?