"decimal digit" Deutsche bedeutung