doxygen docu update