Entschlammung Hohbergsee November/Dezember 2017