finitely additive measure - German English Dictionary