Erdgasbohrplätze, Versenkbohrstellen und Anlagen zur Erdgassuche in Deutschland