Lecture on terminal

This lecture is from another course, so the live lecture is in parallel to a lecture in another course. We will publish the recording once it has passed (25/8 at 15--16).