Translation of "Builders risk" in German