$0233/563:  Dateityp aus der Kommandozeile