Vielen Dank. Du bist perfekt.
Jetzt werde ich mal den Feiertag genießen und mich später an die anderen Baustellen machen. Viele Updates lang habe ich Glück gehabt. Aber mit #138 hat sich anscheinend intern viel geändert. Ich weiß ja, wo ich mich hinwenden kann: an die freiwilligen Helfer bei Camp-Firefox.