Some updates for FFKI/Kiel