regelcheck + UI improvements