Deakstadieđáhus: A posteriori estimates for partial differential equations