Wie hieß der erste funktionsfähige „Digitalrechner“?