De hafva således redanfunnit