In 2003, Germany began flooding a former coal pit; by 2011, it had become a ...