dies stellt keine Diskriminierung dar. Das Kind erhält
den Familiennamen; die Eltern haben kein Wahlrecht.
- Im vorliegenden Fall haben die Beschwerdeführenden aus freien
Stücken den Namen des Ehemanns als Familiennamen gewählt.