Integrale entlang bimonoider Homomorphismen