I am sorry for the now misformatted patch series tree and for the
partial transmission of this patch series. It turned out that because
I used git send-email --dry-run before actually sending the patch
series, which drained the email send limit per hour of my mail/hosting
provider. I now use(d) my university email address, which enforces a
(much higher) daily email send limit, instead and it worked. I hope
not to have caused too much inconvenience.

Simon