Johannes Loccenius — German historian (1598-1677)