Title: König Orendel von Trier; oder, Der graue Rock