[Lugbz-list] Dezimalzeichen