Rauchverbot im Eingangsraum einer Gaststätte

Ein Gastwirt in Nordrhein-Westfalen darf den Eingangsraum einer Gaststätte nicht zum Raucherraum machen. Gastwirte dürften das Rauchen nur in Räumen erlauben, die funktional eigenständig und vom übrigen Gaststättenbetrieb so abtrennbar seien, dass sie von Nichtrauchern nicht genutzt werden müssten. Dies