Deutschlands digitale Köpfe: Gesellschaft für Informatik zeichnet digitale Denker und Macher aus