Binnengasthuis (Amsterdam): verschil tussen versies