"formalising, formalizing" Deutsche bedeutung