motion of a heavy rotationally symmetric rigid top