TODO 'set encoding': Test printing of ß