Index of /mirror 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        16-Jul-2013 14:07      -  
[DIR] ICM98/                  17-Dec-1998 15:31      -  
[DIR] ICM98_OLD/              14-Jan-1998 07:03      -  
[DIR] IMU/                    17-Jan-2011 13:13      -
Apache/1.3.34 Server at www.emis.de Port 80