"to coin" Deutsche bedeutung