Title: Vaderlandsch Woordenboek; Volume 13