Zum Petri ist vermutlich dauerhaft geschlossen.