1 db2ext.highlight (
dokumentinhalt
,
trefferinformationen
,
informationen_zur_trefferverarbeitung
)