Merge branch 'develop'
Merge branch 'develop'
Merge branch 'develop'
Merge branch 'develop'
merge branches
Merge branch 'develop_Uebung5' of https://github.com/jacobfreise/Programmiertechnik-II into develop_Uebung5
Finished Easy molehill stuff