Working Time, Denmark