In Informatik-Hörsälen liegt der Frauenanteil bei einem Viertel