Mini-course on Joseph's proof of the Annihilation Theorem