(presumably destroyed during World War II)