Nicolas With: Modernisierung des hylOs-Reasoners