Gegrillter Baby-Bok-Choy mit würziger Miso-Butter