Darf in den Hallen geraucht werden?

Das Rauchen ist nur in den hierfür ausgewiesenen Bereichen gestattet.