It's illegal in Berlin as well but completely unenforced in bars and clubs. Also in general the smoking population of adults is like 1/3 of men and 1/4 of women. I'm an occasional smoker and I even find it disgusting.