Loading annotation for asv.informatik.uni-leipzig.de