Kartenmischmaschine Elektrische, Automatischer Kartenmischer, Kartenmischgerät