af bistop Martensen , erhöll prinsen följande namn : KristianFrederik