Manual rock drill, in YouTube video and GIF format. This is why GIFs exist.