Cómo identificar el regulador de gas Hoffens retirado del mercado y qué hacer en caso de tenerlo en casa