Bugfix in run_sanduhr.sh