church of the michaelis monastery in rostock, external office of the university library of the university rostock