Danke für den Tipp, Dimitri. Ich mache es sogar schon manchmal so. In diesem Fall hatte ich es leider vergessen und konnte daher den Text nicht mehr "retten".
PS: "beleuchten" = "markieren" (obwohl "beleuchten" eigentlich der schönere Ausdruck wäre ;-) )
