"probability measure" Deutsche bedeutung