REMOVED: deal.ii 9.6.2-4