( 3233 ) Restaurationen Prins Carl.