How can deadweight loss be used to assess the efficiency loss in a market due to taxation?

Deadweight loss measures the increase in tax revenue, indicating efficiency gain.

Deadweight loss measures the increase in consumer surplus, indicating efficiency gain.

Deadweight loss measures the decrease in producer surplus, indicating efficiency gain.

Deadweight loss measures the trades that do not occur due to taxation, indicating efficiency loss.