@HistoPol Es gibt schon lange kein DOS mehr. Die Windows-Shell ist inzwischen schon ziemlich OK. Ich kann sie aber (in Ermangelung einer Windows-Installation) aber nicht benutzen.