de.tudresden.inf.lat.util.map
