Political gas‐pricing premiums: the development in West Germany 1977–1985