Gas, Working Time, Denmark