Karl von Holtei w polskich encyklopediach i leksykonach uniwersalnych oraz encyklopediach internetowych - Miodek, Marcin