Mal kurz vom Thema abgekommen: "Ich dachte du wolltest dich nicht mehr an solchen Kleinigkeiten aufhängen? "

Nun, ich würde in deinem Fall wohl zum Hyperpatcher greifen, falls es so wichtig ist, auch wenn ich sonst gegen die meisten Patches bin.