>> Du hast sogar ziemlich recht :-) Diese Trennung stammt noch aus
>> alten SiSiSi-Zeiten (siehe git commit e62353d7) und wurde wohl
>> versehentlich nicht von »=« auf »|« umgestellt.
>
> Danke. Also sind Präpositionen Prefixe?
Ja, soweit ich weiß. Für uns wichtig ist, daß danach eine gute
Trennstelle kommt :-)
Werner