David's tomb. Notes on the history of the building. Preliminary report. - Pinkerfeld, J. (1960)