Legal Physics: Modelling Contracts on Gas Networks – The KWP Tool, ISMP 2015 – 22nd International Symposium on Mathematical Programming, Pittsburgh, Thorsten Koch