Text this: The European defence community : a history