deleted doxygen-doc, not maintained