Danke für den Hinweis, hab's mir auch gleich mal bestellt (hatte zum Glück noch gerade so über 5.000 Sterne auf dem Konto).

Hat sich doch gelohnt, heute die Uni geschwänzt zu haben.