astemnals af k. myntet cirka 800,000 kr.