Wäre wünschenswert: Mehr Frauen im Baugewerbe und anderen typischen Männerbranchen (Bild: Keystone).