Aenderung
Merge branch 'master' of /home/fhuber/C++/edward
Merge branch 'master' of github.com:icpcpp/edward