Wie gesagt, er war damals ein wenig größer. Dieses kleine Dorf war das Hauptdock, an dem das Erz verladen wurde. Deshalb heißt dieser See Eisenkopf. Entweder deswegen oder wegen dem gepanzerte Fisch. Das war ich mir nie ganz sicher.