Nachträgliche Anpassungen an migrator.php
Merge pull request #178 from Philipp-K/3.1.0-RC6/addendum1

Nachträgliche Anpassungen an migrator.php