Korrektur von Prof. Dr. Herrlich, 23.10.2013: Schriftart für Basissymbol B; Hinweis darauf, dass Basis abzählbar ist.