Ja genau...Danke für den Tipp.
Die Zeile
<FontData width="2048" height="1024" padding="10" font_size="70" font_scale="100" line_spacing="100">
habe ich geändert in
<FontData width="2048" height="1024" padding="10" font_size="70" font_scale="75" line_spacing="100">
Der ausschlaggebende Wert ist also in "font_scale" zu finden.
Jetzt ist die Schrift nicht mehr so groß, aber immerhin noch groß genug, um nicht angestrengt lesen zu müssen. ;)