From the New York Times: Germany announced today that it would seek to ban smoking in restaurants, discotheques, schools and other public buildings — but not in pubs, bars or under beer tents.
Mind you, this from a country that has cigarette vending machines on practically every corner! I've gradually become accustomed to the smoke, but every time friends and family visit, they cough and comment on the thick haze in restaurants and airport halls. So, it is indeed a miracle. Or at least the beginning of one.