Quick and humane sacrifice of a mouse by cervical dislocation.