title: Python read .txt-files header
body: <p>I need to read some information from a txt file header which looks like this:</p>
  
  <pre><code>Date    20160122
  SP Number   8
  Gauge   250N internal
  Total Height    61
  SP Modell   SP2
  Corner Distance 150 
  
  Height  Value   Comment
  60  NaN 
  ...
  </code></pre>
  
  <p>I have a python program program currently doing this:</p>
  
  <pre><code>depth, N = npy.loadtxt(filename, skiprows=8, unpack=True, usecols = usecols)
  </code></pre>
  
  <p>However I would like to read out some of the values from the header. Is there a way to do this? I am mostly interested to get the value of "Total Height". On my search I only seem to find answers concerning .csv files.</p>