Books by Pintner, Rudolf