Josefstadt — cadastral municipality of Vienna