Wann lief der Rursee über?