Ok, danke für den Hinweis.

Ich habe es gefixt. Wie üblich saß der Fehler vor dem Gerät. Meine Inputdatei ist kaputt. Die Anzahl der Leerzeichen schwankt abschnittsweise. Das hatte ich nicht realisiert. Erst schlafen, dann coden. Danke für die Hinweise.