i allmänhet och 4,000 rdr särstildt till Stockholms seininarium .)