"digital computer" Deutsche bedeutung