When a country exports goods due to a higher world price, how does the producer surplus change?

Producer surplus remains unchanged as exports do not affect domestic markets.

Producer surplus decreases as the domestic price falls.

Producer surplus decreases due to increased competition from imports.

Producer surplus increases by the areas previously part of consumer surplus and additional surplus from exports.