digitale datenverarbeitung Synonym