Heute Abend ist anscheinend mirv13 tot -- das ist aber meine wichtigste Anbindung. Kann man irgendwie beitragen, mirv13 wieder online zu bringen? Grüsse, Peter