De overlijdensdatum wordt vermeld zoals deze officieel is vastgesteld door het Nederlandse Ministerie van Justitie. Er is voor David Tokkie een overlijdensakte aanwezig in het Stadsarchief van Amsterdam waarop als overlijdensdatum 30 september 1942 gegeven wordt (akte 33, 18 augustus 1950).
Addition