1 db2ext.highlight ( dokumentinhalt , trefferinformationen , informationen_zur_trefferverarbeitung )