umlauts are currently not allowed in result file names.