Working Time, Strike, Denmark