Wow, the drupal import tool of @getpantheon is amazing. This was - so far - the easiest step of migrating my site.