Possibly useful links:

https://productforums.google.com/forum/#!msg/gmail/udJAPPx4VEs/Mx3qHSm4DQAJ

https://www.wired.com/2016/03/set-gmail-aliases-import-inboxes/
...