"double numbering" Deutsche bedeutung