Was verdient ein obergerichtsvollzieher?