überflüssige Zeichen entfernt.