redan i Kristiania universitets myntsamling.