fixed format of niediek.txt and hartmann.txt