Pools

• Assigning a PoolAdmin to a pool
• Pool states in case of an unlimited emergency buffer
• Deleting a pool
• Querying for pools and their properties
• Unlocking a pool
• Overview of pools
• Disconnecting a PoolAdmin from a pool
• Locking a pool
• Modifying a pool
• Creating a pool