Working Time, Central government, Germany