Fachkräftemangel adé: Diese Münchner KI-Roboter reparieren Betonbauten selbstständig – und holen Top-Auszeichnungen. Warum die Branche jetzt aufhorcht.