Loading annotation for arsnova.thm.de