hav (haversine) - German English Dictionary