/lively4-eventsourcing/src/blockchain/view