Wenn es ein solches Rauchverbot (mit Ausnahme für die Gastronomie, in Dtl. ist es doch so?) schon gibt, wäre es dann nicht sinnvoller, das ganze so umzuformulieren, dass eben diese Gastronomie-Ausnahme gestrichen wird?