European guideline for the management of pediculosis pubis. (16th July 2017)