Loading annotation for webdoc.sub.gwdg.de