what family name does johan ernst mowinckel have?
(AND people.family_name (JOIN people.family_name.people_with_this_family_name m.0dgrhj2))