Needs a comment. Maybe a TODO that this should be moved into deal.II.