Der Erzengel Michael
war Namensgeber für das Engelbecken wie auch der nahegelegenen Kirche