rich 1.0 feickert https://asciinema.org/~feickert asciinema https://asciinema.org/ https://asciinema.org/a/198304.png 2117 1400 <a href="https://asciinema.org/a/198304" target="_blank"><img alt="DAMLA-env run" src="https://asciinema.org/a/198304.png" width="2117"></a> 2117 1400