Renoveringen af norra porthvalfvet i k. slottet,