"decimal marker" Deutsche bedeutung