Ihlevoldeu , infanteriet i Kongens Gade.