User-agent: *
Disallow: . / /~/ ~/ /hilfe/ /manual/ /support-db/ /gif/ /desktop_mathematik/ /pcanywhere/ /riskdemo/ /bronstein/ /chaos/ /ssh/ /phpMyAdmin/ /khg/ /nag/ /nat-paper-html/ /sag-0.6-html/ /~vsauer/ . /~mwilke/ /~elzoido/