The hypopharyngeal diverticulum