Trennung in Raucher‑ und Nichtraucherbereiche bzw. ‑zeiten