Några sifferuppgifter om Europas flotta.