> (Since we're talking about computer science education, I'll disregard the entirely unrelated comment about quotas in businesses.)

There are also (more implicit) women quota in the university laws (Landeshochschulgesetzen) of Germany's federate states e.g. for casting professors.