Braucht es für die stadtbernischen Volksschulleitungen eine Frauenquote?