Heilbronn Focused Research Workshop on Efficient Congruencing and Decoupling, June 2019