Gorch Fock Umbenennung

Ich bin mal gespannt, ob die “Gorch Fock” wegen der aktuellen Vorgänge noch in “Gorch Fuck” umbenannt wird.