Imai & Mieda: Local Shimura Varieties