"random permutation" Deutsche bedeutung