"half-normal distribution" Deutsche bedeutung