[1444] Die Judendocke, plur. die -n, Diminut. das Judendöckchen, Oberd. Judendöcklein, S. Judenkirsche.