Köpenhamns örlogswarf till pris af 8,000 kr.