Operatie Hallifax Operatie Halifax (Onverkort), Berging Halifax, Amstelveen Berging Halifax, Amstelveen