Wie stellt der Arzt die Diagnose Vaginismus?