Jerzy Tomaszewski — Polish historian (1930–2014)