list of abbreviations, bibliography enabled
NOTE: you need to run 'makeglossaries $basename' in order to generate
the list of abbreviations
Merge branch 'attempt4' of https://github.com/radke-tum/idp.git into attempt4
incorporated report feedback