DrScheme (unter Download Site Tübingen anwählen!)
Wichtig: Nach dem ersten Start Language -> Choose Language -> Full Scheme anwählen und neu starten.
Language
Choose Language
Full Scheme