Ermensee, տեղումների ռադար