"binary numeration" Deutsche bedeutung