we've had a few occurrences where not being administrators of the google
group caused some issues, and that is why I created the new group:
The current group will not disappear, but new discussions should not be
started here anymore. Please subscribe to the new group, and take this
switchover as an opportunity to say hello and to tell us what you're
doing with the ODR-mmbTools!