Hallo Raphael u. Michael, ich kann shell.uugrn.org bzw. rmfausi.uugrn.org nicht erreichen. MfG Rainer -- http://mailman.uugrn.org/mailman/listinfo/uugrn