for bad bots

Rudolf Stingel