hallo alle zusammen, das gerätehaus ist ein öffentliches gebäude, also rauchverbot.