Fix #8311, b98c7763de4: Industry probability at map generation was scaled differently...