har nyligen gatt af stapeln och därvid omdöpts till » Prins Carl ».