Wenn man in einem Schriftst"uck gr"o"sere
Zeilenabst"ande verwenden mu"s als in den Document Styles vorgesehen ist,
mu"s man den Befehl \baselinestretch
auf einen Faktor gr"o"ser als 1 ab"andern:
f"ur "`eineinhalbzeilige"' Ausgabe:\renewcommand{\baselinestretch}{1.3}
f"ur "`doppelzeilige"' Ausgabe:\renewcommand{\baselinestretch}{1.6}