Ein Gewerbebetrieb wird gewerbesteuerlich insoweit nicht im Inland betrieben, als für ihn eine Betriebsstätte auf einem Kauffahrteischiff unterhalten wird, das im sogenannten regelmäßigen Liniendienst ausschließlich zwischen ausländischen Häfen verkehrt, auch wenn es in einem inländischen Schiffsregister eingetragen ist.