( 8626 ) Otto Magnus.