The following definition of the trading book replaces the previous definition.