German official documents: There was no Covid pandemic.