The unification of Bundesmarine and Volksmarine Naval operations