Arbetarnes ålderdomsförsäkring i Tyskland.