Ingen gasslekkasje på Thon-hotell i Bærum