Statistik in Geodäsie, Geoinformation und Bauwesen by Wilhelm Benning