[offtop: heute habe ich mich gefragt, wo wohl @ligrev geblieben ist... und, oh nein, er powert down und hat seit langer zeit nichts mehr geschrieben. sag mal, verlässt du die plattform? lg.]