Trotz Exportstopp: Deutsche Kriegsschiffe für Saudi-Arabien