"decimal point, dot" Deutsche bedeutung