bartholinitis wann zum arzt