„Navigare necesse est“, sagte schon Gnaeus Pompeius Magnus. Und navigieren bedeutet, den Standort oder den Kurs eines Schiffes zu bestimmen. Genauso gehört sich das für…