For her, there seems to be a process that allows keeping German citizenship if one acquires foreign citizenship. Being a dual citizen is always the best option if one views citizenship as a matter of convenience.
OTOH, he’d likely need to renounce his US citizenship if he acquired German citizenship, but he could easily gain permanent residence via marriage without renouncing.
