restaurant (in het voormalige ketelhuis)