Namensrecht: Doppelnamen für Kinder möglich – und sie müssen nicht mehr heißen wie ihre Eltern