"device-independent" Deutsche bedeutung