Gitpod Classic will shut down on 1 April

This is getting critical now!

We decided

> 2. github codespaces - they atm offer 60h per month free -> https://github.com/features/codespaces

is the way togo.

This is shutdown now. We succesfully migrated to Github codespaces, but left gitpod setup in place. Thus, marking as done.

Automatically closed - issue fixed for 2 weeks with no activity.