[basex-talk] fn:format-number() for german style numbers