För dessa har manfunnit