Nun ist es offizilell: Irland bittet um Finanzhilfen aus dem Rettungsschirm der Euroländer und des internationalen Währungsfonds.