STEINEN, Johann Dietrich von [Bearb.]