"random number generator" Deutsche bedeutung