herr von Ehrenheim ( ord.