Mastodon server ieji.de has an onion service, which is down

The clearnet server is fine but the onion server¹ is non-responsive.

1. iejideks5zu2v3zuthaxu5zz6m5o2j7vmbd24wh6dnuiyl7c6rfkcryd.onion