How Is Caffeine Extracted Out Of A Coffee Bean?

What are the techniques to get the caffeine out of coffee and get a decaf? Greg Foot illustrates the four options.
https://www.youtube.com/user/HeadsqueezeTV