Empirical tests for ex post moral hazard in a market for automobile insurance. (3rd July 2022)