Increasing efficiency of German gas distribution system operators