They might just provide the numbers with the 011 included at the front so no one has to remember if they need to dial the extension. Makes sense given the astro

They might just provide the numbers with the 011 included at the front so no one has to remember if they need to dial the extension. Makes sense given the astronauts travel all over the world doing training before launch so they've probably dialed the number with the extension at least as much as dialing the bare number, also note this was a Dutch astronaut so he probably learned the number including the 011.