Tonnenweise Schlamm: Was sonst noch auf dem Grund des Waldsees lag