"Smoking is not permitted in stores, shops, restaurants, bars or other public buildings." . . . . . .