[2105] Fix incorrect encoding of source files leading to wrong umlaute