warship means a ship belonging to the armed forces of a State bearing the external marks distinguishing such ships of its nationality, under the command of an officer duly commissioned by the government of the State and whose name appears in the appropriate service list or its equivalent, and manned by a crew which is under regular armed forces discipline;
Kriegsschiff ein zu den Streitkräften eines Staates gehörendes Schiff, das die äußeren Kennzeichen von Kriegsschiffen seiner Staatszugehörigkeit trägt; es muss unter dem Befehl eines Offiziers stehen, der sich im Dienst des jeweiligen Staates befindet und dessen Name in der entsprechenden Rangliste der Streitkräfte oder in einer gleichwertigen Liste enthalten ist; die Besatzung muss den Regeln der militärischen Disziplin unterliegen;
