Rename weihnachtswald.txt to 3.1.2_weihnachtswald.py