Loading annotation for resources.mpi-inf.mpg.de