Gravar-mail: Progress with Formalization in Medical Informatics?