Gasnetzbetreiber in der Zuständigkeit der Bundesnetzagentur