"duodecimal numeration" Deutsche bedeutung