Gravar-mail: Netherlands bans smoking in enclosed public places but allows closed smoking rooms