Deakstadieđáhus: Relative Frobenius algebras are groupoids