"dumpy level" の定義と意味

a surveying instrument used to establish horizontal levels and measure height differences