cipterm0 dist-upgrade

On 2021-10-01 the server cipterm0 will be upgraded to Debian 11. A shot downtime is to be expected.

-- Felix Kraus