Antonio Petrini: ein Barockarchitekt in Franken