"redundancy operation" Deutsche bedeutung