Translation of "Builders risk insurance" in German