probability measure - German English Dictionary