added details of Daniel on the GMP webpage git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11763 cec4b9c1-7d33-0410-9eda-942365e851bb
placed website information on the repository git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10515 cec4b9c1-7d33-0410-9eda-942365e851bb