Petri fäng , eller Petri fängelse ,är