Who was the king of Prussia in 1756?