linalg2020/protocol/woche13/README.md