1. Es gibt in Deutschland das Nichtraucherschutzgesetz. Da steht drinne wo geraucht werden darf. Öffentliche Gebäude gehören nicht zu den Räucherkammern.

2. In Fahrzeughallen, egal ob die Fahrzeuge drinne stehen oder nicht, gilt sowieso ein generelles Rauchverbot.

Damit dürfte sich die Antwort doch wohl eindeutig gegeben haben, oder bestehen da bei irgendjemandem noch Zweifel?