Praha, Starý židovský hřbitov / Старое еврейское кладбище / Alter Judenfriedhof / Old Jewish Cemetery / Le vieux cimetière juif