Český Krumlov Castle, Masquerade Hall, mural detail, Josef Lederer, painter of hall murals