double-domination Buis (2921) 5