ensamt fisken vid densamma kostade öfver 7,000 kr.