"double exponential distribution" Deutsche bedeutung