Probier mal keyb gr einzugeben. Das sollte die Tastatur auf deutsch umändern. (Hoffentlich auch in Dos-Box.) Danach: <Alt Gr> + ß

Hilfts?