lyx-kristall is invalid.