Michelin Guide
The restaurant closed before 1993, as the Michelin Guide mentioned the later also starred restaurant "De Vlindertuin" at that address.