Doxygen output, generated on Sun Jul  6 19:24:02 CEST 2014