The Hahn-Banach theorem surveyed