濃ヶ池はなぜ小さくなったのか