Bergsee Schwafheim, Vinngraben und Vinn