What was the name of the Austrian Empire after the revolution of 1848?

Germany

Austro-Hungarian Empire

Austria

Holy Roman Empire