"Im Hinblick auf die nachgewiesene erhebliche Gesundheitsschädlichkeit des Passivrauchens erfordert schon der Schutz der Gesundheit der Mitarbeiter der Gastronomie dieses Verbot. Auch an anderen Arbeitsplätzen dürfen keine krebserzeugenden Substanzen in hoher Konzentration in der Atemluft vorhanden sein."