Malte, have you seen "enhancedtext" widget?
It works nicely with ad_form. It is a multiple property widget that has the HTML content, mime-type and escaped html content.
This does most of what you want. I am not sure if it includes buttons to add bold, etc. Doesn't seem to work on Mozilla anyway :) Maybe on IE.