Thanks to all visitors at the Z 2017 and at the Logimat 2017 for your visit and the interesting discussions!