Liferipper: das beseitigt einen kleinen Display-Bug, der eh keinem auffällt, aber die Tatsache, dass da ein falscher Hintergrund angezeigt wurde, hab ich repariert (wie dir unschwer auffallen dürfte, ist das, was du da gesehen hast, nämlich der für OO korrekte Hintergrund). Wenn deine komischen lokalen Hacks nicht funktionieren, ist das wirklich nicht mein Problem …