@detlev: Mit welchem Editor