dingen van michiel toegevoegd in branch van martijn
Merge branch 'categories' of https://github.com/utwente-di/di15 into categories