Russian gas: what Austria and Europe have learned from their dependence