Suddenly everything is different in Aarhus, at least for the 25,000 or so employees in its public offices and agencies. Since March they have been banned from smoking at work and on the grounds of municipal buildings. That's caused a stir in Denmark, and beyond the country's borders.