A diffusion with a discontinuous local time