ser W : ltlREICHERT