doxygen docu updated