Heinrich Wagner's patches