the Trappistenhaus cafe.