BOOR, Karl de [Hrsg.]