£ ■ Hederstedt.