Mario Günzel successfully defended his Dissertation.
Mario Günzel successfully defended his Dissertation with Distinction (summa cum laude).
Mario Günzel successfully defended his Dissertation - Property-Based Timing Analysis of Distributed Real-Time Systems - with Distinction (summa cum laude).