"random set" Deutsche bedeutung