In einem vorherigen Beitrag hatte ich Michael und Markus verwechselt. Daher habe ich den kleinen Artikel gelöscht. In der Eile passiert so was leider Mal. Sorry, Michael. Auch wenn ich nicht weiß, ob Du anders tickst. … Nachtrag: Kurze Recherche zeigt: Es hätte vielleicht auch von Dir sein können.