invece di str_replace usare preg_replace? Hmmm. mi sà che ci avevo provato e non aveva funzionato, ma forse avevo sbagliato qualcosa.

Dovrei scrivere semplicemente così....?

Codice PHP:
$text = preg_replace("$parola","<span class=\"gefunden\">$parola</span>", $text ); 
Ma ci avevo già provato...boh!