HumBuch/HumBuch — pull request #44 by davvitt (2013-12-15 18:46:21+00:00)
Title: resolves #43

init profiles and teachingmaterials set as HashSet by default