lyx-kristall-obsp is invalid.