Constitutionality of the authorization to shoot down hijacked aircraft under the German Constitution