A search for new heavy leptons at PETRA