Noch eine kleine Optimierung: Du willst ja eigentlich gar nicht wissen, wie viele Sätze in der Datei sind, sondern nur, ob es mehr als 0 sind. Deshalb würde ein "fetch first row only" verhindern, dass alle gezählt werden:
select count(*) into anzahl from dat020 fetch first row only;