HTML-Editor für die Erstellung von Web-Seiten von der Firma Microsoft.