Daniel had his PhD viva on Wednesday 6th of July; examiners were Manfred Kerber and Jacques Fleuriot - he passed with minor corrections. Congratulations, Daniel!