In welchem Encoding war lab5/solution/a2/Scanner.java gespeichert? Anscheinend hat das niemanden interessiert.... Ich habe die Umlaute durch Unicode-Escape-Sequenzen ersetzt. -bk