«Waffenexporte» für Deutschland: Sind die Schweizer Leopard-Panzer brauchbar?