箱根にある「ドイツ海軍が暇すぎて掘った結果できた池」ができるまでのお話