halle.txt