Share Migration XXL: The large-scale GNU/Linux roll-out of Lower Saxony\'s tax authority in