Kommt Bamberg von "Papinberg" oder von "Bäumburg"? eine neue Erklärung unseres Stadtnamens - Ring, Hans 1883-1955 (1940)