Pettersen fr. Danmark ; ia.