Du brauchst schon etwas länger, wenn du alles wirklich anschauen willst und vielleicht noch was kaufst oder isst. Ohne Führung, würd ich schon so 5-7 Stunden einplanen, da du dich (nehme ich mal an) auch nicht letzten willst. Ich war letztens noch einmal dort und habe ohne Führung fast 6 Stunden dort gebraucht. :) es lohnt sich aber !