diff -r a0b56111a7c1 -r 10e59469ecf5 teaching.html --- a/teaching.html Mon Jul 16 10:56:47 2018 +0100 +++ b/teaching.html Tue Jul 24 10:51:25 2018 +0100 @@ -130,13 +130,14 @@

Examiner of PhD-theses: