Deutsche Gasspeicher zu 75 Prozent gefüllt