modified the header to correctly indicate that this file is not part of deal.II.