Name Last modified Size Description![[DIR]](/icons/folder.gif){kind=icon}
cgi-bin/ 11-Sep-2000 15:16 -
![[TXT]](/icons/text.gif){kind=icon}
index.html.de 16-Sep-1998 17:44 3.4K
index.html.en 16-Sep-1998 17:44 3.2K
Apache/2.2.11 Server at www.pms.ifi.lmu.de Port 80