Smart contracts and migration scripts for the MGN-pool for trading at the dutch-Exchange