Daniel Roßberg - 2019-06-27

Before testing it, the correct type name is annot, the type names are alphabetically ordered, and the indents!