„Zigeunerlager Ravensburg Ummenwinkel“ – seine Geschichte und seine Opfer