2019-07-25 in case no wifi
Chengsong [Thu, 25 Jul 2019 12:59:07 +0100] rev 85
in case no wifi
2019-07-25 proof-read
Christian Urban <urbanc@in.tum.de> [Thu, 25 Jul 2019 11:46:06 +0100] rev 84
proof-read
(0) -30 -10 -2 +2 +10 +30 tip