Deutsches Rechtswörterbuch (DRW): Interimshofmeister