MMDC (manuscripts database) — medieval manuscripts in Dutch collections