Contributors to 2020-10-09

Jochen