encoding-bug with 'ß' fixed by fluxus42