zahl gas tankstellen in deutschland