Så mange timer arbejder de offentligt ansatte