"actual decimal point" Deutsche bedeutung