Logfile von result.txt in result.log umbenannt