Nein, Marinekäfer ist kein Fipptehler. Wenn man aus einem protestantischen Seefahrerhaushalt stammt, dann denkt man als Kind wirklich schnell mal, dass die so heißen.
(in der Zwischenzeit weiß ich das natürlich, wie die richtig heißen, aber der Ausdruck Marinekäfer ist mir lieb und teuer)
