Index of /~steffen

      Name                    Last modified       Size  Description

[DIR] Parent Directory 12-Jul-2018 10:05 - [DIR] nuance/ 11-Jul-2018 14:03 - [DIR] daimler/ 08-May-2018 08:49 - [DIR] misc/ 18-Mar-2017 09:55 - [DIR] papers/ 24-Aug-2016 09:07 -

Apache/1.3.28 Server at www1.dfki.de Port 80