Fri, 28 Jun 2019 12:40:58 +0100 initial version
Christian Urban <urbanc@in.tum.de> [Fri, 28 Jun 2019 12:40:58 +0100] rev 26
initial version
Wed, 26 Jun 2019 21:40:33 +0100 fixed latex bug
Christian Urban <urbanc@in.tum.de> [Wed, 26 Jun 2019 21:40:33 +0100] rev 25
fixed latex bug
(0) -10 -2 +2 +10 +30 +100 tip