New features in ESD #10

The following features are new for ESD #10: