Wie viel Rente hat ein Bergmann?