Malfunction caused gas leak in Haifa Bay, no special instructions to the public