#!/bin/bash

# sed  -n '1,/<nav>/p' $1 | sed -n '/href="..\/..\/wetter\/whist.php?art=minmax">\&raquo; Historie/='
# sed  -n '1,/<nav>/p' $1 | sed -n '/href="..\/..\/index.html">Home/='
sed  -n '1,/<nav>/p' $1 | sed -n '/href="..\/shell\/">\&raquo; Linux/='