Say hello to NGC 1052-DF2, an ultra-diffuse galaxy lacking dark matter