cf. Kopfbahnhof Sackbahnhof.