Thank you very much, but this will not be necessary. I opened the developer
tools and destroyed all bots in that level to get out of the area (since I had
already overtaken all of them this was ok). ;)