Bron: Stadsarchief Amsterdam Marktvergunning David Porcelijn 28-6-1878 4-6-1943 kaart dd 8-7-1935