Text this: The efficiency of public insurance supervision vs. Pareto efficiency