On January 26-30, I visited Mario Boley, Björn Jacobs, and Bo Kang at Fraunhofer-IAIS, Bonn, Germany.