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