Wird indessen nebst den unter Ziffer 9.3.1 aufgeführten Betriebseinrichtungen auch ein Betriebsgebäude (oder ein Teil davon) an den gleichen Mieter vermietet wie beispielsweise Shop, Kiosk, Bistro (allenfalls mit integrierter Kassastation für das Inkasso des Treibstoffes), Reparaturwerkstatt, Servicestelle, Büros, Lager, handelt es sich gesamthaft um eine von der Steuer ausgenommene Gebäudevermietung (Optionsmöglichkeit;  Ziff. 3); dies ungeachtet dessen, ob für die Vermietung der Betriebseinrichtungen einerseits und des Gebäudes (oder des Gebäudeteils) andererseits separat Rechnung gestellt wird.