| 11 |
<!-- top-addendum is disabled because we want to keep this page short, |
<!-- top-addendum is disabled because we want to keep this page short, |
| 12 |
and the addendum is not very important for this page. --> |
and the addendum is not very important for this page. --> |
| 13 |
<!--#set var="DISABLE_TOP_ADDENDUM" value="yes" --> |
<!--#set var="DISABLE_TOP_ADDENDUM" value="yes" --> |
|
<!--#include virtual="/server/banner.de.html" --> |
|
| 14 |
<!--#include virtual="/po/gnu-404.translist" --> |
<!--#include virtual="/po/gnu-404.translist" --> |
| 15 |
|
<!--#include virtual="/server/banner.de.html" --> |
| 16 |
<!-- <h1> |
<!-- <h1> |
| 17 |
(rather than <h2>) is used to make the page look like |
(rather than <h2>) is used to make the page look like |
| 18 |
an an error message rather than like a regular article. --> |
an an error message rather than like a regular article. --> |