"formalizes, formalises" Deutsche bedeutung