Decksteiner Weiher + Adenauerweiher.