Remarks on the Trotter-Kato Product Formula for Unitary Groups