Nach Tötung Bin Ladens: US-Einsatz wurde detailliert vorbereitet