kurzfristige Ausmerzung von Tippfehlern