The sum of two plane convex C^∞ sets is not always C^5. - Boman, Jan (MATHEMATICA SCANDINAVICA, 1990)