PHP: Teile im String ersetzten

[Olga]

Hallo,

ich habe einen PHP String bei dem ich einen Teil ersezten soll. Bekannt sind folgende 3 Dinge:

• Position (int) des zu ersetztenden Teils im String
• Länge (int) des zu ersetztenden Teils im String
• Der Ersatzt selbst

Bsp.

$String = "Die Welt ist schön";
$Position = 4;
$Laenge = 4;
$Ersatz = "Erde";

Das Ziel wäre dann: $Ziel = "Die Erde ist schön";

Habt Ihr Vorschläge?