Hochmoor und Karsee im kleinen Wiesental, Nonnenmattweiher