Ein Teil des GUI in wiki2xhtml 3.2