I moved back to the Programming Languages / Methodologies (PLM) research group at the University of Kassel to complete my habilitation.