User-agent: *
Disallow: http://domino.mpi-sb.mpg.de/cgi-bin/*
Disallow: http://domino.mpi-inf.mpg.de/cgi-bin/*