PRINCE: printAt() update for German letters