Rådhuskällaren i Berlin , som bygdes 1872,