"difference engine" Deutsche bedeutung