Notiz eingefügt
Merge branch 'Measure' into master
Merge branch 'master' of https://github.com/dgarth/foll_inf_uni-goettingen_ws1213
allnodes.h: use enum for commands
Testing...
Merge branch 'master' of https://github.com/dgarth/foll_inf_uni-goettingen_ws1213