We released an article that you can purchase Halal baum kuchen at Keio railway stations.
https://halalmedia.jp/archives/2682/you-can-now-buy-halal-baum-kuchen-at-kiosk-stores-of-keio-railway-stations/
This baum kuchen sold in kiosks of JR East is made in the same company that acquired halal certificate, and the product is the same. However, due to specifications of JR East, “alcohol vaporization agent” is enclosed, which contains alcohol. Accordingly, there is no Halal certification mark on products sold at JR East. Of course, no alcohol is “added” to the baum kuchen itself, and alcohol vaporization agent is “enclosed” to maintain the quality of the product.
*Alcohol vaporization agent is a quality improving agent to prevent molding of food products.