Reddende engel op zee 'Sirius' kost 11,3 miljoen euro