XML-Editor von der Firma TIBCO Software GmbH.