double-exponential function - German English Dictionary