Germany’s half-empty gas stores spark winter supply warnings