Budapest is counting on gas supplies from Turkmenistan