Decksteiner Weiher (kurz)