som förrättades af biskop Martensen , erhöll prinsen följande namn : ChristianFrederik