"decimal point" Deutsche bedeutung