omkring 11,700 danska riksdaler.