Europe mandates better masks.