Danke nochmal.
Den Beitrag von dir habe ich gestern in der Windeseile beim Probieren deiner Vorschläge komplett übersehen. Ich habs jetzt gleich noch mal probiert, \singlespacing kann in der Tat weg und basicstyle muss dann auf "basicstyle=\ttfamily\setstretch{1}," erweitert werden. die Kommandos scheinen auf das selbe Paket zurückzugreifen, \usepackage{setspace} ist jeweils zwingend erforderlich.KOMA hat geschrieben:Fehler meinerseits. Das muss natürlich \setstretch{1} und nicht \setspace{1} heißen. Auch da gilt dann natürlich, dass im Gegenzug das \singlespacing entfernt werden muss.