Crash reported in https://code.launchpad.net/~widelands-dev/widelands/fh1-winconditions/+merge/323987/comments/849240
Crash reported in https:/ /code.launchpad .net/~widelands -dev/widelands/ fh1-winconditio ns/+merge/ 323987/ comments/ 849240