Code review comment for lp:~widelands-dev/widelands/bug-1559729-lost_portspace

Looks good to me, I am glad we figured it out (and I apologize for misleading), it is really great this was hunted down and fixed. And I hope this will not backfire somewhere :)