First time here? Check out the FAQ!
@Volker, is there some documentation where SAGE_* options are explained?