Doxygen output, generated on Thu May 29 14:30:56 CEST 2014