editor písemných pramenů k dějinám