Danish work hours: Is it true that everyone goes home at 4pm?