Cleveref support ergänzt.