Coq . , Darmstadt , gm R.