"Reduce output duplication" removes period from German dates

Problem/Motivation

When "Reduce output duplication" is used with German date format, an essential character (period) is removed on date ranges within one month. For example, if the range is 5. Januar 2020 - 13. Januar 2020, it can be reduced to 5. - 13. Januar 2020, note the period behind the "5". Smart Date removes that character and leaves 5 - 13. Januar 2020.

Proposed resolution

Similarly, the code to save the "S" date format could be re-used here:

if ($s_loc = strpos($settings['date_format'], 'S', $day_loc)) {
        $offset = 1 + $s_loc - $day_loc;
      }
      elseif ($p_loc = strpos($settings['date_format'], '.', $day_loc)) { // <== This is the new part.
        $offset = 1 + $p_loc - $day_loc;
      }
      else {
        $offset = 1;
      }

This is of course a custom hack that works for me, maybe that can be turned into an option where the user can decide on date format code ("S") or special character (".") to keep when reducing date output.