af en myntsamliug ; 15 226 kr.