Text this: The Holy Roman Empire and the Ottomans