Correction to: Gas Network Benchmark Models